| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | J8LNKAN8RW/38NQDBP |
| Repositório | dpi.inpe.br/plutao/2010/12.08.14.41 |
| Última Atualização | 2011:02.18.17.47.04 (UTC) marciana |
| Repositório de Metadados | dpi.inpe.br/plutao/2010/12.08.14.41.35 |
| Última Atualização dos Metadados | 2021:02.11.21.05.18 (UTC) administrator |
| Chave Secundária | INPE--PRE/ |
| Rótulo | lattes: 6217509029802638 3 PontesVillAmbr:2010:MoVeFo |
| Chave de Citação | PontesVillAmbr:2010:MoVeFo |
| Título | Modelagem e Verificação Formal de Software Embarcado Espacial Segundo a Norma PUS  |
| Ano | 2010 |
| Data de Acesso | 28 abr. 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 785 KiB |
| 2. Contextualização | |
| Autor | 1 Pontes, Rodrigo Pastl 2 Villani, Emília 3 Ambrosio, Ana Maria |
| Grupo | 1 2 3 DSS-ETE-INPE-MCT-BR |
| Afiliação | 1 Departamento de Engenharia Mecânica, Instituto Tecnológico de Aeronáutica - ITA 2 Departamento de Engenharia Mecânica, Instituto Tecnológico de Aeronáutica - ITA 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 2 3 ana@dss.inpe.br |
| Endereço de e-Mail | ana@dss.inpe.br |
| Nome do Evento | Congresso Brasileiro de Automática, 18 (CBA 2010). |
| Localização do Evento | Bonito |
| Data | 2010 |
| Título do Livro | Anais |
| Tipo Terciário | Artigo |
| Histórico (UTC) | 2010-12-08 15:32:32 :: lattes -> marciana :: 2010 2011-02-18 17:50:09 :: marciana -> administrator :: 2010 2021-02-11 21:05:18 :: administrator -> marciana :: 2010 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Área | ETES |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Modelagem e Verificação... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/38NQDBP |
| URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/38NQDBP |
| Idioma | pt |
| Arquivo Alvo | Pontes_Modelagem.pdf |
| Grupo de Usuários | lattes marciana |
| Visibilidade | shown |
| Permissão de Leitura | allow from all |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 1 |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Campos Vazios | abstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |